101. Theoretical computer science : 6th GI conference, Dortmund, January 5-7, 1983
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Machine theory-- Congresses,، Formal languages-- Congresses
رده :
QA
267
.
G18
1983
102. Theoretical computer science : 5th GI conference, karlsruhe, March 23-25, 1981
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Machine theory-- Congresses,، Formal languages-- Congresses
رده :
QA
267
.
G18
1981
103. Theory of machines and computations; proceedings
پدیدآورنده : Edited by Zvi Kohavi and Azaria Paz
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Switching theory,Congresses ، Numerical calculations
رده :
QA
266
.
I58
1971
104. Theory of machines and computations; proceedings
پدیدآورنده : International Symposium on the Theory of Machines and Computations )1791: Haifa, Israel(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Sequential machine theory-- Congresses,، Formal languages-- Congresses,، Switching theory-- Congresses,، Numerical calculations-- Congresses
رده :
QA
266
.
I58
1971
105. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 :
پدیدآورنده : edited by Ehud Shapiro.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic programming -- Congresses.,Logic programming.,Programmation logique -- Congrès.
رده :
QA76
.
6
E358
1986